%0 Thesis
%4 sid.inpe.br/mtc-m18@80/2009/06.03.18.58
%2 sid.inpe.br/mtc-m18@80/2009/06.03.18.58.11
%T Seleção de dados para testes de programas
%J x
%D 1982
%8 1982-06-15
%9 Dissertação (Mestrado em Computação Aplicada)
%P 156
%A Zavaleta, Rose Mary Salazar Anaya,
%E Velasco, Flávio Roberto Dias (presidente),
%E Dias, Múcio Roberto (orientador),
%E Bianchi, Paulo,
%E Martins, Ricardo Correia de Oliveira,
%I Instituto Nacional de Pesquisas Espaciais (INPE)
%C São José dos Campos
%K computação aplicada, engenharia de software, teste de programas, validação parcial de software.
%X Sabe-se que a maneira prática para se obterem altos graus de confiabilidade em desenvolvimento de programas é através do processo de testes que usa conjuntos de dados adequadamente selecionados. Neste trabalho é apresentado um sistema que visa auxiliar o usuário no processo de seleção de dados para testes de programas escritos em FORTRAN. Neste sistema são combinados aspectos de análise estática e dinâmica de programas que permitem identificar os comandos e transferências de controle não executados num dado teste. Vários exemplos que ilustram em detalhes o uso do sistema são dados. ABSTRACT: It is well known that the practical way to obtain high degress of reliability in software development is through the process of testing using adequately selected data. In this work a system which intends to provide some help to the user in the process of selecting data for testing FORTRAN programs is presented. In this system it is combined aspects related to the static and dinamic analysis of programs which allow the identification of the statements and transferences of control not executed in a given test. Several examples are given to illustrate in detail the use of the system.
%@language pt
%3 publicacao.pdf